New insights on multi-state component criticality and importance

In this paper, new importance measures for multi-state systems with multi-state components are introduced and evaluated. These new measures complement and enhance current work done in the area of multi-state reliability. In general, importance measures are used to evaluate and rank the criticality of component or component states with respect to system reliability. The focus of the study is to provide intuitive and clear importance measures that can be used to enhance system reliability from two perspectives: (1) how a specific component affects multi-state system reliability and (2) how a particular component state or set of states affects multi-state system reliability. The first measure unsatisfied demand index, provides insight regarding a component or component state contribution to unsatisfied demand. The second measure multi-state failure frequency index, elaborates on an approach that quantifies the contribution of a particular component or component state to system failure. Finally, the multi-state redundancy importance identifies where to allocate component redundancy as to improve system reliability. The findings of this study indicate that both perspectives can be used to complement each other and as an effective tool to assess component criticality. Examples illustrate and compare the proposed measures with previous multi-state importance measures.     

D-Index: Distance Searching Index for Metric Data Sets

In order to speedup retrieval in large collections of data, index structures partition the data into subsets so that query requests can be evaluated without examining the entire collection. As the complexity of modern data types grows, metric spaces have become a popular paradigm for similarity retrieval. We propose a new index structure, called D-Index, that combines a novel clustering technique and the pivot-based distance searching strategy to speed up execution of similarity range and nearest neighbor queries for large files with objects stored in disk memories. We have qualitatively analyzed D-Index and verified its properties on actual implementation. We have also compared D-Index with other index structures and demonstrated its superiority on several real-life data sets. Contrary to tree organizations, the D-Index structure is suitable for dynamic environments with a high rate of delete/insert operations.     

Experimental and Numerical Analysis of Soil–Pipe Interaction

Cases of pipeline damage caused by landslides are common in coastal or mountainous regions, where a continuous monitoring/repair activity is planned in order to maintain their serviceability. The analysis of the soil–structure interaction phenomenon can be invoked to improve the planning and design of buried pipelines, to guide monitoring, and to reduce the risk of damage or failure. Two different approaches are considered in this paper: small scale laboratory tests and numerical simulations using the distinct element method (DEM). The experimental setup consists of a box filled with sand and water. Several experiments were performed, in which the diameter and the depth of the tube varied. The numerical simulations are divided in two separate series: in the first, the numerical model is calibrated and its reliability in reproducing the experimental tests is checked; in the second series, the direction of the relative displacement between the tube and the surrounding “numerical soil” varies over the range ±90° with respect to the horizontal. In the latter, both vertical and horizontal components of the drag force are measured and the corresponding interaction diagrams are constructed. The DEM simulations provide useful information about the shape of the failure mechanisms and the force transfer within the soil.     

Hierarchies of parallel rewriting P systems — A survey

The paper is about some families of rewriting P systems, where the application of evolution rules is extended from the classical sequential rewriting to the parallel one (as, for instance, in Lindenmayer systems). As a result, consistency problems for the communication of strings may arise. Three variants of parallel rewriting P systems (already present in the literature) are considered here, together with the strategies they use to face the communication problem, and some parallelism methods for string rewriting are defined. We give a survey of all known results about each variant and we state some relations among the three variants, thus establishing hierarchies of parallel rewriting P systems. Various open problems related to the subject are also presented. Danicla Besozzi: She is assistant professor at the University of Milano. She received her M.S. in Mathematics (2000) from the University of Como and Ph.D. in Computer Science (2004) from the University of Milano. Her research interests cover topics in Formal Language Theory, Molecular Computing, Systems Biology. She is member of EATCS (European Association for Theoretical Computer Science) and EMCC (European Molecular Computing Consortium). Giancarlo Mauri: He is full professor of Computer Science at the University of Milano-Bicocca. His research interests are mainly in the area of theoretical computer science, and include: formal languages and automata, computational complexity, computational learning theory, soft computing techniques, cellular automata, bioinformatics and molecular computing. On these subjects, he published more than 150 scientific papers in international journals, contributed volumes and conference proceedings. Claudio Zandron: He received Ph.D. in Computer Science at the University of Milan, Italy, in 2001. Since 2002 he is assistant professor at the University of Milano-Bicocca, Italy. He is member of the EATCS (European Association for Theoretical Computer Science) and of EMCC (European Molecular Computing Consortium). His research interests are Molecular Computing (DNA and Membrane Computing) and Formal Languages.     

Implicit fault-tolerant control: application to induction motors

In this paper we propose an innovative way of dealing with the design of fault-tolerant control systems. We show how the nonlinear output regulation theory can be successfully adopted in order to design a regulator able to offset the effect of all possible faults which can occur and, in doing so, also to detect and isolate the occurred fault. The regulator is designed by embedding the (possible nonlinear) internal model of the fault. This idea is applied to the design of a fault-tolerant controller for induction motors in presence of both rotor and stator mechanical faults.     

Pharmacogenetics Biomarkers and Their Specific Role in Neoadjuvant Chemoradiotherapy Treatments: An Exploratory Study on Rectal Cancer Patients

Background: Pathological complete response (pCR) to neoadjuvant chemoradiotherapy (CRT) in locally advanced rectal cancer (LARC) is still ascribed to a minority of patients. A pathway based-approach could highlight the predictive role of germline single nucleotide polymorphisms (SNPs). The primary aim of this study was to define new predictive biomarkers considering treatment specificities. Secondary aim was to determine new potential predictive biomarkers independent from radiotherapy (RT) dosage and cotreatment with oxaliplatin. Methods: Thirty germ-line SNPs in twenty-one genes were selected according to a pathway-based approach. Genetic analyses were performed on 280 LARC patients who underwent fluoropyrimidine-based CRT. The potential predictive role of these SNPs in determining pathological tumor response was tested in Group 1 (94 patients undergoing also oxaliplatin), Group 2 (73 patients treated with high RT dosage), Group 3 (113 patients treated with standard RT dosage), and in the pooled population (280 patients). Results: Nine new predictive biomarkers were identified in the three groups. The most promising one was rs3136228-MSH6 (p = 0.004) arising from Group 3. In the pooled population, rs1801133-MTHFR showed only a trend (p = 0.073). Conclusion: This exploratory study highlighted new potential predictive biomarkers of neoadjuvant CRT and underlined the importance to strictly define treatment peculiarities in pharmacogenetic analyses.     

Thiophene‐ and silarylene‐containing polyesters. Resonance effect on conductivity after polarization in an external electric field

Polyesters were synthesized by direct polycondensation of thiophene‐2,5‐dicarboxylic acid and five different silarylene‐containing diphenols using a tosyl chloride/pyridine/N,N‐dimethylformamide system as a condensing agent. Polymers were obtained in good yields and were characterized using Fourier transform infrared and NMR (¹H, ¹³C, 135‐DEPT and ²⁹Si) spectroscopy and elemental analysis. All polymers were completely soluble in aprotic organic polar solvents such as dimethylformamide, dimethylsulfoxide and N‐methyl‐2‐pyrrolidone. The range of effective mass of the polymers (m/z) was 1 × 10⁵–2 × 10⁵, determined using electrospray ionization mass spectrometry. Asymmetry and steric hindrance prevented dense packing of the polymeric chains, showing glass transition temperatures between ? 78 and ? 51 °C and loss of thermal stability at 177–199 °C (10% weight loss). Additionally, the melting points of the polyesters were found to be in the range 62–67 °C. Because of this, the samples were semi‐solid at room temperature. The optical band gaps of the polymers were observed between 4.54 and 4.48 eV, corresponding in all cases to insulator behavior. The molecular structure of the samples was studied using X‐ray diffraction, showing a degree of order that was associated with two monoclinic lattices. Additionally, the conductivity was studied using a two‐point method with contacts on top of polymer films. Prior to the electrical measurement, the samples were polarized in an external electric field of 0.8 to 6.4 V cm^?1, and the alignment of the dipoles increased the electrical conductivity. Copyright © 2012 Society of Chemical Industry     

The Impact of Nonalcoholic Fatty Liver Disease on Renal Function in Children with Overweight/Obesity

The association between nonalcoholic fatty liver disease (NAFLD) and chronic kidney disease has attracted interest and attention over recent years. However, no data are available in children. We determined whether children with NAFLD show signs of renal functional alterations, as determined by estimated glomerular filtration rate (eGFR) and urinary albumin excretion. We studied 596 children with overweight/obesity, 268 with NAFLD (hepatic fat fraction ≥5% on magnetic resonance imaging) and 328 without NAFLD, and 130 healthy normal-weight controls. Decreased GFR was defined as eGFR < 90 mL/min/1.73 m². Abnormal albuminuria was defined as urinary excretion of ≥30 mg/24 h of albumin. A greater prevalence of eGFR < 90 mL/min/1.73 m² was observed in patients with NAFLD compared to those without liver involvement and healthy subjects (17.5% vs. 6.7% vs. 0.77%; p < 0.0001). The proportion of children with abnormal albuminuria was also higher in the NAFLD group compared to those without NAFLD, and controls (9.3% vs. 4.0% vs. 0; p < 0.0001). Multivariate logistic regression analysis revealed that NAFLD was associated with decreased eGFR and/or microalbuminuria (odds ratio, 2.54 (confidence interval, 1.16–5.57); p < 0.05) independently of anthropometric and clinical variables. Children with NAFLD are at risk for early renal dysfunction. Recognition of this abnormality in the young may help to prevent the ongoing development of the disease.     

Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover

This paper is a report about the use of Matita, an interactive theorem prover under development at the University of Bologna, for the solution of the POPLmark Challenge, part 1a. We provide three different formalizations, including two direct solutions using pure de Bruijn and locally nameless encodings of bound variables, and a formalization using named variables, obtained by means of a sound translation to the locally nameless encoding. According to this experience, we also discuss some of the proof principles used in our solutions, which have led to the development of a generalized inversion tactic for Matita.